extension | φ:Q→Out N | d | ρ | Label | ID |
D14.1(C22:C4) = D14:C8:C2 | φ: C22:C4/C2xC4 → C2 ⊆ Out D14 | 224 | | D14.1(C2^2:C4) | 448,261 |
D14.2(C22:C4) = M4(2).19D14 | φ: C22:C4/C2xC4 → C2 ⊆ Out D14 | 112 | 8- | D14.2(C2^2:C4) | 448,279 |
D14.3(C22:C4) = M4(2).21D14 | φ: C22:C4/C2xC4 → C2 ⊆ Out D14 | 112 | 8+ | D14.3(C2^2:C4) | 448,285 |
D14.4(C22:C4) = D4:(C4xD7) | φ: C22:C4/C2xC4 → C2 ⊆ Out D14 | 224 | | D14.4(C2^2:C4) | 448,305 |
D14.5(C22:C4) = D4:2D7:C4 | φ: C22:C4/C2xC4 → C2 ⊆ Out D14 | 224 | | D14.5(C2^2:C4) | 448,306 |
D14.6(C22:C4) = Q8:(C4xD7) | φ: C22:C4/C2xC4 → C2 ⊆ Out D14 | 224 | | D14.6(C2^2:C4) | 448,337 |
D14.7(C22:C4) = Q8:2D7:C4 | φ: C22:C4/C2xC4 → C2 ⊆ Out D14 | 224 | | D14.7(C2^2:C4) | 448,338 |
D14.8(C22:C4) = C42:D14 | φ: C22:C4/C2xC4 → C2 ⊆ Out D14 | 112 | 4 | D14.8(C2^2:C4) | 448,355 |
D14.9(C22:C4) = C22.58(D4xD7) | φ: C22:C4/C23 → C2 ⊆ Out D14 | 224 | | D14.9(C2^2:C4) | 448,198 |
D14.10(C22:C4) = D14:M4(2) | φ: C22:C4/C23 → C2 ⊆ Out D14 | 112 | | D14.10(C2^2:C4) | 448,260 |
D14.11(C22:C4) = (D4xD7):C4 | φ: C22:C4/C23 → C2 ⊆ Out D14 | 112 | | D14.11(C2^2:C4) | 448,304 |
D14.12(C22:C4) = (Q8xD7):C4 | φ: C22:C4/C23 → C2 ⊆ Out D14 | 224 | | D14.12(C2^2:C4) | 448,336 |
D14.13(C22:C4) = D7xC2.C42 | φ: trivial image | 224 | | D14.13(C2^2:C4) | 448,197 |
D14.14(C22:C4) = D7xC22:C8 | φ: trivial image | 112 | | D14.14(C2^2:C4) | 448,258 |
D14.15(C22:C4) = D7xC23:C4 | φ: trivial image | 56 | 8+ | D14.15(C2^2:C4) | 448,277 |
D14.16(C22:C4) = D7xC4.D4 | φ: trivial image | 56 | 8+ | D14.16(C2^2:C4) | 448,278 |
D14.17(C22:C4) = D7xC4.10D4 | φ: trivial image | 112 | 8- | D14.17(C2^2:C4) | 448,284 |
D14.18(C22:C4) = D7xD4:C4 | φ: trivial image | 112 | | D14.18(C2^2:C4) | 448,303 |
D14.19(C22:C4) = D7xQ8:C4 | φ: trivial image | 224 | | D14.19(C2^2:C4) | 448,335 |
D14.20(C22:C4) = D7xC4wrC2 | φ: trivial image | 56 | 4 | D14.20(C2^2:C4) | 448,354 |